<?php
	echo "ok\n";
?>
